First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
571	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
572	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
573	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Fold Symbol Interpretation Polymorphism First-order logic Combinatorial species Model theory Logic Software engineering
574	Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws Henry DeYoung Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Model theory Privacy Semantics Philosophical logic Health Insurance Portability and Accountability Act Linear temporal logic First-order logic Modal logic Logic Privacy law Ethics
575	arXiv:cs.PLv1 7 SepCrocoPat 2.1 Introduction and Reference Manual Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2004-09-08 03:21:18 Elementary mathematics Abstract algebra Finitary relation Function First-order logic Binary relation Arity Transitive closure FO Mathematics Logic Mathematical logic
576	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Mathematics Structure Universal algebra Symbol Constructible universe First-order logic Lambda calculus Mathematical logic Logic Model theory
577	xDomain: Cross-border Proofs of Access∗ Lujo Bauer§ Limin Jia† Michael K. Reiter‡ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Logic in computer science Type theory Non-classical logic Philosophical logic Model theory First-order logic Modal logic Twelf Logic Mathematical logic Mathematics
578	Problems with Abductive Language Understanding Models Peter Norvig Robert Wilensky set of propositions with minimal cost that entails . Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 18:09:50 Science Epistemology Logic programming Interpretation Bayesian probability Abductive reasoning First-order logic Logic Model theory Philosophy
579	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
580	More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-08-15 04:44:13 Theoretical computer science Superposition calculus SPASS Resolution Isabelle Proof assistant Vampire Automated reasoning First-order logic Automated theorem proving Mathematics Mathematical logic

UPDATE